Mechanical stiffening, bistability, and bit operations in a microcantilever
نویسندگان
چکیده
منابع مشابه
Bit storage and bit flip operations in an electromechanical oscillator.
The Parametron was first proposed as a logic-processing system almost 50 years ago. In this approach the two stable phases of an excited harmonic oscillator provide the basis for logic operations. Computer architectures based on LC oscillators were developed for this approach, but high power consumption and difficulties with integration meant that the Parametron was rendered obsolete by the tra...
متن کاملHandling Bit-Propagating Operations in Bit-Vector Reasoning
Our aim is to improve bit-vector reasoning in modern SMT solvers. We enhance bitvector preprocessing by introducing algorithms that explicitly handle an important class of bit-vector operations which we call bit-propagating. Such operations fulfill the following property: each output bit is either a bit of one of the inputs or a constant (0 or 1). We identified ten bit-propagating operations in...
متن کاملLocalised micro-mechanical stiffening in the ageing aorta
Age-related loss of tissue elasticity is a common cause of human morbidity and arteriosclerosis (vascular stiffening) is associated with the development of both fatal strokes and heart failure. However, in the absence of appropriate micro-mechanical testing methodologies, multiple structural remodelling events have been proposed as the cause of arteriosclerosis. Therefore, using a model of agei...
متن کاملpassivity in waiting for godot and endgame: a psychoanalytic reading
this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...
A New Interval Approximation Supporting Bit Operations and Byte Access
In this paper we present a new variant of the commonly used interval approximation based on the so-called valid interval approach. This new approach supports arithmetic and bit operations including shift and rotate functions. Furthermore, it allows read and write access to the byte representation of integer and floating point values. We present the necessary functions for integer intervals in d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Physics Letters
سال: 2010
ISSN: 0003-6951,1077-3118
DOI: 10.1063/1.3511343